/ Amiga Tools 2 / Amiga Tools 2.iso / tex / macros / packages / theorem.sty

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 25 20 0a 25 25 20 54 | 68 69 73 20 69 73 20 66 |%% .%% T|his is f|
|00000010| 69 6c 65 20 60 74 68 65 | 6f 72 65 6d 2e 73 74 79 |ile `the|orem.sty|
|00000020| 27 2c 20 67 65 6e 65 72 | 61 74 65 64 20 0a 25 25 |', gener|ated .%%|
|00000030| 20 6f 6e 20 3c 31 39 39 | 35 2f 33 2f 34 3e 20 77 | on <199|5/3/4> w|
|00000040| 69 74 68 20 74 68 65 20 | 64 6f 63 73 74 72 69 70 |ith the |docstrip|
|00000050| 20 75 74 69 6c 69 74 79 | 20 28 32 2e 32 69 29 2e | utility| (2.2i).|
|00000060| 0a 25 25 20 0a 25 25 20 | 54 68 65 20 6f 72 69 67 |.%% .%% |The orig|
|00000070| 69 6e 61 6c 20 73 6f 75 | 72 63 65 20 66 69 6c 65 |inal sou|rce file|
|00000080| 73 20 77 65 72 65 3a 0a | 25 25 20 0a 25 25 20 74 |s were:.|%% .%% t|
|00000090| 68 65 6f 72 65 6d 2e 64 | 74 78 20 20 28 77 69 74 |heorem.d|tx  (wit|
|000000a0| 68 20 6f 70 74 69 6f 6e | 73 3a 20 60 70 61 63 6b |h option|s: `pack|
|000000b0| 61 67 65 27 29 0a 25 25 | 20 0a 25 25 20 49 4d 50 |age').%%| .%% IMP|
|000000c0| 4f 52 54 41 4e 54 20 4e | 4f 54 49 43 45 3a 20 0a |ORTANT N|OTICE: .|
|000000d0| 25 25 20 54 68 69 73 20 | 66 69 6c 65 20 69 73 20 |%% This |file is |
|000000e0| 70 61 72 74 20 6f 66 20 | 74 68 65 20 60 74 6f 6f |part of |the `too|
|000000f0| 6c 73 27 20 62 75 6e 64 | 6c 65 20 0a 25 25 20 69 |ls' bund|le .%% i|
|00000100| 6e 20 74 68 65 20 4c 61 | 54 65 58 32 65 20 64 69 |n the La|TeX2e di|
|00000110| 73 74 72 69 62 75 74 69 | 6f 6e 2e 20 0a 25 25 20 |stributi|on. .%% |
|00000120| 0a 25 25 20 59 6f 75 20 | 61 72 65 20 6e 6f 74 20 |.%% You |are not |
|00000130| 61 6c 6c 6f 77 65 64 20 | 74 6f 20 64 69 73 74 72 |allowed |to distr|
|00000140| 69 62 75 74 65 20 74 68 | 69 73 20 66 69 6c 65 2e |ibute th|is file.|
|00000150| 20 0a 25 25 20 46 6f 72 | 20 64 69 73 74 72 69 62 | .%% For| distrib|
|00000160| 75 74 69 6f 6e 20 6f 66 | 20 74 68 65 20 6f 72 69 |ution of| the ori|
|00000170| 67 69 6e 61 6c 20 73 6f | 75 72 63 65 20 73 65 65 |ginal so|urce see|
|00000180| 20 0a 25 25 20 74 68 65 | 20 63 6f 70 79 72 69 67 | .%% the| copyrig|
|00000190| 68 74 20 6e 6f 74 69 63 | 65 20 69 6e 20 74 68 65 |ht notic|e in the|
|000001a0| 20 73 6f 75 72 63 65 20 | 66 69 6c 65 2c 20 61 6e | source |file, an|
|000001b0| 64 20 0a 25 25 20 69 6e | 20 74 68 65 20 66 69 6c |d .%% in| the fil|
|000001c0| 65 20 72 65 61 64 6d 65 | 2e 74 78 74 20 64 69 73 |e readme|.txt dis|
|000001d0| 74 72 69 62 75 74 65 64 | 20 77 69 74 68 20 74 68 |tributed| with th|
|000001e0| 65 20 0a 25 25 20 74 6f | 6f 6c 73 20 62 75 6e 64 |e .%% to|ols bund|
|000001f0| 6c 65 2e 20 0a 25 25 20 | 0a 5c 64 65 66 5c 66 69 |le. .%% |.\def\fi|
|00000200| 6c 65 76 65 72 73 69 6f | 6e 7b 76 32 2e 32 61 7d |leversio|n{v2.2a}|
|00000210| 0a 5c 64 65 66 5c 66 69 | 6c 65 64 61 74 65 7b 31 |.\def\fi|ledate{1|
|00000220| 39 39 34 2f 30 32 2f 30 | 33 7d 0a 5c 64 65 66 5c |994/02/0|3}.\def\|
|00000230| 64 6f 63 64 61 74 65 20 | 7b 31 39 39 34 2f 30 32 |docdate |{1994/02|
|00000240| 2f 32 38 7d 0a 25 25 20 | 5c 43 68 61 72 61 63 74 |/28}.%% |\Charact|
|00000250| 65 72 54 61 62 6c 65 0a | 25 25 20 20 7b 55 70 70 |erTable.|%%  {Upp|
|00000260| 65 72 2d 63 61 73 65 20 | 20 20 20 5c 41 5c 42 5c |er-case |   \A\B\|
|00000270| 43 5c 44 5c 45 5c 46 5c | 47 5c 48 5c 49 5c 4a 5c |C\D\E\F\|G\H\I\J\|
|00000280| 4b 5c 4c 5c 4d 5c 4e 5c | 4f 5c 50 5c 51 5c 52 5c |K\L\M\N\|O\P\Q\R\|
|00000290| 53 5c 54 5c 55 5c 56 5c | 57 5c 58 5c 59 5c 5a 0a |S\T\U\V\|W\X\Y\Z.|
|000002a0| 25 25 20 20 20 4c 6f 77 | 65 72 2d 63 61 73 65 20 |%%   Low|er-case |
|000002b0| 20 20 20 5c 61 5c 62 5c | 63 5c 64 5c 65 5c 66 5c |   \a\b\|c\d\e\f\|
|000002c0| 67 5c 68 5c 69 5c 6a 5c | 6b 5c 6c 5c 6d 5c 6e 5c |g\h\i\j\|k\l\m\n\|
|000002d0| 6f 5c 70 5c 71 5c 72 5c | 73 5c 74 5c 75 5c 76 5c |o\p\q\r\|s\t\u\v\|
|000002e0| 77 5c 78 5c 79 5c 7a 0a | 25 25 20 20 20 44 69 67 |w\x\y\z.|%%   Dig|
|000002f0| 69 74 73 20 20 20 20 20 | 20 20 20 5c 30 5c 31 5c |its     |   \0\1\|
|00000300| 32 5c 33 5c 34 5c 35 5c | 36 5c 37 5c 38 5c 39 0a |2\3\4\5\|6\7\8\9.|
|00000310| 25 25 20 20 20 45 78 63 | 6c 61 6d 61 74 69 6f 6e |%%   Exc|lamation|
|00000320| 20 20 20 5c 21 20 20 20 | 20 20 44 6f 75 62 6c 65 |   \!   |  Double|
|00000330| 20 71 75 6f 74 65 20 20 | 5c 22 20 20 20 20 20 48 | quote  |\"     H|
|00000340| 61 73 68 20 28 6e 75 6d | 62 65 72 29 20 5c 23 0a |ash (num|ber) \#.|
|00000350| 25 25 20 20 20 44 6f 6c | 6c 61 72 20 20 20 20 20 |%%   Dol|lar     |
|00000360| 20 20 20 5c 24 20 20 20 | 20 20 50 65 72 63 65 6e |   \$   |  Percen|
|00000370| 74 20 20 20 20 20 20 20 | 5c 25 20 20 20 20 20 41 |t       |\%     A|
|00000380| 6d 70 65 72 73 61 6e 64 | 20 20 20 20 20 5c 26 0a |mpersand|     \&.|
|00000390| 25 25 20 20 20 41 63 75 | 74 65 20 61 63 63 65 6e |%%   Acu|te accen|
|000003a0| 74 20 20 5c 27 20 20 20 | 20 20 4c 65 66 74 20 70 |t  \'   |  Left p|
|000003b0| 61 72 65 6e 20 20 20 20 | 5c 28 20 20 20 20 20 52 |aren    |\(     R|
|000003c0| 69 67 68 74 20 70 61 72 | 65 6e 20 20 20 5c 29 0a |ight par|en   \).|
|000003d0| 25 25 20 20 20 41 73 74 | 65 72 69 73 6b 20 20 20 |%%   Ast|erisk   |
|000003e0| 20 20 20 5c 2a 20 20 20 | 20 20 50 6c 75 73 20 20 |   \*   |  Plus  |
|000003f0| 20 20 20 20 20 20 20 20 | 5c 2b 20 20 20 20 20 43 |        |\+     C|
|00000400| 6f 6d 6d 61 20 20 20 20 | 20 20 20 20 20 5c 2c 0a |omma    |     \,.|
|00000410| 25 25 20 20 20 4d 69 6e | 75 73 20 20 20 20 20 20 |%%   Min|us      |
|00000420| 20 20 20 5c 2d 20 20 20 | 20 20 50 6f 69 6e 74 20 |   \-   |  Point |
|00000430| 20 20 20 20 20 20 20 20 | 5c 2e 20 20 20 20 20 53 |        |\.     S|
|00000440| 6f 6c 69 64 75 73 20 20 | 20 20 20 20 20 5c 2f 0a |olidus  |     \/.|
|00000450| 25 25 20 20 20 43 6f 6c | 6f 6e 20 20 20 20 20 20 |%%   Col|on      |
|00000460| 20 20 20 5c 3a 20 20 20 | 20 20 53 65 6d 69 63 6f |   \:   |  Semico|
|00000470| 6c 6f 6e 20 20 20 20 20 | 5c 3b 20 20 20 20 20 4c |lon     |\;     L|
|00000480| 65 73 73 20 74 68 61 6e | 20 20 20 20 20 5c 3c 0a |ess than|     \<.|
|00000490| 25 25 20 20 20 45 71 75 | 61 6c 73 20 20 20 20 20 |%%   Equ|als     |
|000004a0| 20 20 20 5c 3d 20 20 20 | 20 20 47 72 65 61 74 65 |   \=   |  Greate|
|000004b0| 72 20 74 68 61 6e 20 20 | 5c 3e 20 20 20 20 20 51 |r than  |\>     Q|
|000004c0| 75 65 73 74 69 6f 6e 20 | 6d 61 72 6b 20 5c 3f 0a |uestion |mark \?.|
|000004d0| 25 25 20 20 20 43 6f 6d | 6d 65 72 63 69 61 6c 20 |%%   Com|mercial |
|000004e0| 61 74 20 5c 40 20 20 20 | 20 20 4c 65 66 74 20 62 |at \@   |  Left b|
|000004f0| 72 61 63 6b 65 74 20 20 | 5c 5b 20 20 20 20 20 42 |racket  |\[     B|
|00000500| 61 63 6b 73 6c 61 73 68 | 20 20 20 20 20 5c 5c 0a |ackslash|     \\.|
|00000510| 25 25 20 20 20 52 69 67 | 68 74 20 62 72 61 63 6b |%%   Rig|ht brack|
|00000520| 65 74 20 5c 5d 20 20 20 | 20 20 43 69 72 63 75 6d |et \]   |  Circum|
|00000530| 66 6c 65 78 20 20 20 20 | 5c 5e 20 20 20 20 20 55 |flex    |\^     U|
|00000540| 6e 64 65 72 73 63 6f 72 | 65 20 20 20 20 5c 5f 0a |nderscor|e    \_.|
|00000550| 25 25 20 20 20 47 72 61 | 76 65 20 61 63 63 65 6e |%%   Gra|ve accen|
|00000560| 74 20 20 5c 60 20 20 20 | 20 20 4c 65 66 74 20 62 |t  \`   |  Left b|
|00000570| 72 61 63 65 20 20 20 20 | 5c 7b 20 20 20 20 20 56 |race    |\{     V|
|00000580| 65 72 74 69 63 61 6c 20 | 62 61 72 20 20 5c 7c 0a |ertical |bar  \|.|
|00000590| 25 25 20 20 20 52 69 67 | 68 74 20 62 72 61 63 65 |%%   Rig|ht brace|
|000005a0| 20 20 20 5c 7d 20 20 20 | 20 20 54 69 6c 64 65 20 |   \}   |  Tilde |
|000005b0| 20 20 20 20 20 20 20 20 | 5c 7e 7d 0a 25 25 0a 25 |        |\~}.%%.%|
|000005c0| 25 20 50 61 63 6b 61 67 | 65 20 60 74 68 65 6f 72 |% Packag|e `theor|
|000005d0| 65 6d 27 20 74 6f 20 75 | 73 65 20 77 69 74 68 20 |em' to u|se with |
|000005e0| 4c 61 54 65 58 32 65 0a | 25 25 20 43 6f 70 79 72 |LaTeX2e.|%% Copyr|
|000005f0| 69 67 68 74 20 28 43 29 | 20 31 39 38 39 2d 31 39 |ight (C)| 1989-19|
|00000600| 39 34 20 46 72 61 6e 6b | 20 4d 69 74 74 65 6c 62 |94 Frank| Mittelb|
|00000610| 61 63 68 2c 20 61 6c 6c | 20 72 69 67 68 74 73 20 |ach, all| rights |
|00000620| 72 65 73 65 72 76 65 64 | 2e 0a 25 25 0a 25 25 20 |reserved|..%%.%% |
|00000630| 46 6f 72 20 65 72 72 6f | 72 20 72 65 70 6f 72 74 |For erro|r report|
|00000640| 73 20 66 6f 72 20 55 4e | 43 48 41 4e 47 45 44 20 |s for UN|CHANGED |
|00000650| 76 65 72 73 69 6f 6e 73 | 20 73 65 65 20 72 65 61 |versions| see rea|
|00000660| 64 6d 65 2e 74 78 74 2e | 0a 25 25 20 20 20 54 68 |dme.txt.|.%%   Th|
|00000670| 65 20 6e 65 78 74 20 66 | 65 77 20 6c 69 6e 65 73 |e next f|ew lines|
|00000680| 20 64 65 66 69 6e 65 20 | 74 68 65 6f 72 65 6d 20 | define |theorem |
|00000690| 73 65 74 73 20 77 68 69 | 63 68 20 61 72 65 20 75 |sets whi|ch are u|
|000006a0| 73 65 64 0a 25 25 20 20 | 20 69 6e 20 74 68 65 20 |sed.%%  | in the |
|000006b0| 65 78 61 6d 70 6c 65 20 | 73 65 63 74 69 6f 6e 20 |example |section |
|000006c0| 6f 66 20 74 68 65 20 64 | 6f 63 75 6d 65 6e 74 61 |of the d|ocumenta|
|000006d0| 74 69 6f 6e 2e 0a 5c 40 | 69 66 75 6e 64 65 66 69 |tion..\@|ifundefi|
|000006e0| 6e 65 64 7b 74 68 65 6f | 72 65 6d 40 73 74 79 6c |ned{theo|rem@styl|
|000006f0| 65 7d 7b 7d 7b 5c 65 6e | 64 69 6e 70 75 74 7d 0a |e}{}{\en|dinput}.|
|00000700| 5c 50 72 6f 76 69 64 65 | 73 50 61 63 6b 61 67 65 |\Provide|sPackage|
|00000710| 7b 74 68 65 6f 72 65 6d | 7d 5b 5c 66 69 6c 65 64 |{theorem|}[\filed|
|00000720| 61 74 65 5c 73 70 61 63 | 65 0a 20 20 20 20 20 20 |ate\spac|e.      |
|00000730| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00000740| 20 20 20 20 20 4c 61 54 | 65 58 32 65 20 70 61 63 |     LaT|eX2e pac|
|00000750| 6b 61 67 65 20 5c 66 69 | 6c 65 76 65 72 73 69 6f |kage \fi|leversio|
|00000760| 6e 5d 0a 5c 74 79 70 65 | 6f 75 74 7b 50 61 63 6b |n].\type|out{Pack|
|00000770| 61 67 65 3a 20 60 74 68 | 65 6f 72 65 6d 27 20 5c |age: `th|eorem' \|
|00000780| 66 69 6c 65 76 65 72 73 | 69 6f 6e 0a 20 20 20 20 |filevers|ion.    |
|00000790| 20 20 20 20 20 5c 40 73 | 70 61 63 65 73 20 3c 5c |     \@s|paces <\|
|000007a0| 66 69 6c 65 64 61 74 65 | 3e 20 20 28 46 4d 69 29 |filedate|>  (FMi)|
|000007b0| 7d 0a 5c 74 79 70 65 6f | 75 74 7b 45 6e 67 6c 69 |}.\typeo|ut{Engli|
|000007c0| 73 68 20 64 6f 63 75 6d | 65 6e 74 61 74 69 6f 6e |sh docum|entation|
|000007d0| 20 61 73 20 6f 66 0a 20 | 20 20 20 20 20 20 20 20 | as of. |        |
|000007e0| 3c 5c 64 6f 63 64 61 74 | 65 3e 20 20 28 46 4d 69 |<\docdat|e>  (FMi|
|000007f0| 29 7d 0a 5c 67 64 65 66 | 5c 74 68 65 6f 72 65 6d |)}.\gdef|\theorem|
|00000800| 73 74 79 6c 65 23 31 7b | 25 0a 20 20 20 5c 40 69 |style#1{|%.   \@i|
|00000810| 66 75 6e 64 65 66 69 6e | 65 64 7b 74 68 40 23 31 |fundefin|ed{th@#1|
|00000820| 7d 7b 5c 40 77 61 72 6e | 69 6e 67 0a 20 20 20 20 |}{\@warn|ing.    |
|00000830| 20 20 20 20 20 20 7b 55 | 6e 6b 6e 6f 77 6e 20 74 |      {U|nknown t|
|00000840| 68 65 6f 72 65 6d 73 74 | 79 6c 65 20 60 23 31 27 |heoremst|yle `#1'|
|00000850| 2e 20 55 73 69 6e 67 20 | 60 70 6c 61 69 6e 27 7d |. Using |`plain'}|
|00000860| 25 0a 20 20 20 20 20 20 | 20 20 20 20 5c 74 68 65 |%.      |    \the|
|00000870| 6f 72 65 6d 40 73 74 79 | 6c 65 7b 70 6c 61 69 6e |orem@sty|le{plain|
|00000880| 7d 7d 25 0a 20 20 20 20 | 20 20 7b 5c 74 68 65 6f |}}%.    |  {\theo|
|00000890| 72 65 6d 40 73 74 79 6c | 65 7b 23 31 7d 7d 25 0a |rem@styl|e{#1}}%.|
|000008a0| 20 20 20 20 20 20 5c 62 | 65 67 69 6e 67 72 6f 75 |      \b|egingrou|
|000008b0| 70 0a 20 20 20 20 20 20 | 20 20 5c 63 73 6e 61 6d |p.      |  \csnam|
|000008c0| 65 20 74 68 40 5c 74 68 | 65 5c 74 68 65 6f 72 65 |e th@\th|e\theore|
|000008d0| 6d 40 73 74 79 6c 65 20 | 5c 65 6e 64 63 73 6e 61 |m@style |\endcsna|
|000008e0| 6d 65 0a 20 20 20 20 20 | 20 5c 65 6e 64 67 72 6f |me.     | \endgro|
|000008f0| 75 70 7d 0a 5c 67 6c 6f | 62 61 6c 5c 6c 65 74 5c |up}.\glo|bal\let\|
|00000900| 40 62 65 67 69 6e 74 68 | 65 6f 72 65 6d 5c 72 65 |@beginth|eorem\re|
|00000910| 6c 61 78 0a 5c 67 6c 6f | 62 61 6c 5c 6c 65 74 5c |lax.\glo|bal\let\|
|00000920| 40 6f 70 61 72 67 62 65 | 67 69 6e 74 68 65 6f 72 |@opargbe|gintheor|
|00000930| 65 6d 5c 72 65 6c 61 78 | 0a 5c 6e 65 77 74 6f 6b |em\relax|.\newtok|
|00000940| 73 5c 74 68 65 6f 72 65 | 6d 40 73 74 79 6c 65 0a |s\theore|m@style.|
|00000950| 5c 67 6c 6f 62 61 6c 5c | 74 68 65 6f 72 65 6d 40 |\global\|theorem@|
|00000960| 73 74 79 6c 65 7b 70 6c | 61 69 6e 7d 0a 5c 67 64 |style{pl|ain}.\gd|
|00000970| 65 66 5c 74 68 65 6f 72 | 65 6d 62 6f 64 79 66 6f |ef\theor|embodyfo|
|00000980| 6e 74 23 31 7b 25 0a 20 | 20 20 5c 64 65 66 5c 40 |nt#1{%. |  \def\@|
|00000990| 74 65 6d 70 61 7b 23 31 | 7d 25 0a 20 20 20 5c 69 |tempa{#1|}%.   \i|
|000009a0| 66 78 5c 40 74 65 6d 70 | 61 5c 40 65 6d 70 74 79 |fx\@temp|a\@empty|
|000009b0| 0a 20 20 20 20 5c 74 68 | 65 6f 72 65 6d 40 62 6f |.    \th|eorem@bo|
|000009c0| 64 79 66 6f 6e 74 7b 7d | 25 0a 20 20 20 5c 65 6c |dyfont{}|%.   \el|
|000009d0| 73 65 0a 20 20 20 20 5c | 74 68 65 6f 72 65 6d 40 |se.    \|theorem@|
|000009e0| 62 6f 64 79 66 6f 6e 74 | 7b 5c 72 65 73 65 74 40 |bodyfont|{\reset@|
|000009f0| 66 6f 6e 74 23 31 7d 25 | 0a 20 20 20 5c 66 69 0a |font#1}%|.   \fi.|
|00000a00| 20 20 20 7d 0a 5c 6e 65 | 77 74 6f 6b 73 5c 74 68 |   }.\ne|wtoks\th|
|00000a10| 65 6f 72 65 6d 40 62 6f | 64 79 66 6f 6e 74 0a 5c |eorem@bo|dyfont.\|
|00000a20| 67 6c 6f 62 61 6c 5c 74 | 68 65 6f 72 65 6d 40 62 |global\t|heorem@b|
|00000a30| 6f 64 79 66 6f 6e 74 7b | 7d 0a 5c 67 64 65 66 5c |odyfont{|}.\gdef\|
|00000a40| 74 68 65 6f 72 65 6d 68 | 65 61 64 65 72 66 6f 6e |theoremh|eaderfon|
|00000a50| 74 23 31 7b 5c 67 64 65 | 66 5c 74 68 65 6f 72 65 |t#1{\gde|f\theore|
|00000a60| 6d 40 68 65 61 64 65 72 | 66 6f 6e 74 7b 23 31 7d |m@header|font{#1}|
|00000a70| 25 0a 20 20 20 20 20 20 | 20 5c 67 64 65 66 5c 74 |%.      | \gdef\t|
|00000a80| 68 65 6f 72 65 6d 68 65 | 61 64 65 72 66 6f 6e 74 |heoremhe|aderfont|
|00000a90| 23 23 31 7b 25 0a 20 20 | 20 20 20 20 20 20 5c 74 |##1{%.  |      \t|
|00000aa0| 79 70 65 6f 75 74 7b 5c | 73 74 72 69 6e 67 5c 74 |ypeout{\|string\t|
|00000ab0| 68 65 6f 72 65 6d 68 65 | 61 64 65 72 66 6f 6e 74 |heoremhe|aderfont|
|00000ac0| 5c 73 70 61 63 65 20 73 | 68 6f 75 6c 64 20 62 65 |\space s|hould be|
|00000ad0| 20 75 73 65 64 0a 20 20 | 20 20 20 20 20 20 20 20 | used.  |        |
|00000ae0| 20 20 20 20 20 20 20 6f | 6e 6c 79 20 6f 6e 63 65 |       o|nly once|
|00000af0| 2e 7d 7d 7d 0a 5c 69 66 | 78 5c 75 70 73 68 61 70 |.}}}.\if|x\upshap|
|00000b00| 65 5c 75 6e 64 65 66 69 | 6e 65 64 0a 5c 67 64 65 |e\undefi|ned.\gde|
|00000b10| 66 5c 74 68 65 6f 72 65 | 6d 40 68 65 61 64 65 72 |f\theore|m@header|
|00000b20| 66 6f 6e 74 7b 5c 62 66 | 73 65 72 69 65 73 7d 0a |font{\bf|series}.|
|00000b30| 5c 65 6c 73 65 20 5c 67 | 64 65 66 5c 74 68 65 6f |\else \g|def\theo|
|00000b40| 72 65 6d 40 68 65 61 64 | 65 72 66 6f 6e 74 7b 5c |rem@head|erfont{\|
|00000b50| 6e 6f 72 6d 61 6c 66 6f | 6e 74 5c 62 66 73 65 72 |normalfo|nt\bfser|
|00000b60| 69 65 73 7d 5c 66 69 0a | 5c 67 64 65 66 5c 74 68 |ies}\fi.|\gdef\th|
|00000b70| 40 70 6c 61 69 6e 7b 5c | 40 69 6e 70 75 74 40 7b |@plain{\|@input@{|
|00000b80| 74 68 70 2e 73 74 79 7d | 7d 0a 5c 67 64 65 66 5c |thp.sty}|}.\gdef\|
|00000b90| 74 68 40 62 72 65 61 6b | 7b 5c 40 69 6e 70 75 74 |th@break|{\@input|
|00000ba0| 40 7b 74 68 62 2e 73 74 | 79 7d 7d 0a 5c 67 64 65 |@{thb.st|y}}.\gde|
|00000bb0| 66 5c 74 68 40 6d 61 72 | 67 69 6e 62 72 65 61 6b |f\th@mar|ginbreak|
|00000bc0| 7b 5c 40 69 6e 70 75 74 | 40 7b 74 68 6d 62 2e 73 |{\@input|@{thmb.s|
|00000bd0| 74 79 7d 7d 0a 5c 67 64 | 65 66 5c 74 68 40 63 68 |ty}}.\gd|ef\th@ch|
|00000be0| 61 6e 67 65 62 72 65 61 | 6b 7b 5c 40 69 6e 70 75 |angebrea|k{\@inpu|
|00000bf0| 74 40 7b 74 68 63 62 2e | 73 74 79 7d 7d 0a 5c 67 |t@{thcb.|sty}}.\g|
|00000c00| 64 65 66 5c 74 68 40 63 | 68 61 6e 67 65 7b 5c 40 |def\th@c|hange{\@|
|00000c10| 69 6e 70 75 74 40 7b 74 | 68 63 2e 73 74 79 7d 7d |input@{t|hc.sty}}|
|00000c20| 0a 5c 67 64 65 66 5c 74 | 68 40 6d 61 72 67 69 6e |.\gdef\t|h@margin|
|00000c30| 7b 5c 40 69 6e 70 75 74 | 40 7b 74 68 6d 2e 73 74 |{\@input|@{thm.st|
|00000c40| 79 7d 7d 0a 5c 67 64 65 | 66 5c 40 78 6e 74 68 6d |y}}.\gde|f\@xnthm|
|00000c50| 23 31 23 32 5b 23 33 5d | 7b 5c 65 78 70 61 6e 64 |#1#2[#3]|{\expand|
|00000c60| 61 66 74 65 72 5c 40 69 | 66 64 65 66 69 6e 61 62 |after\@i|fdefinab|
|00000c70| 6c 65 5c 63 73 6e 61 6d | 65 20 23 31 5c 65 6e 64 |le\csnam|e #1\end|
|00000c80| 63 73 6e 61 6d 65 0a 20 | 20 20 7b 25 0a 20 20 20 |csname. |  {%.   |
|00000c90| 20 5c 40 64 65 66 69 6e | 65 63 6f 75 6e 74 65 72 | \@defin|ecounter|
|00000ca0| 7b 23 31 7d 5c 40 61 64 | 64 74 6f 72 65 73 65 74 |{#1}\@ad|dtoreset|
|00000cb0| 7b 23 31 7d 7b 23 33 7d | 25 0a 20 20 20 20 5c 65 |{#1}{#3}|%.    \e|
|00000cc0| 78 70 61 6e 64 61 66 74 | 65 72 5c 78 64 65 66 5c |xpandaft|er\xdef\|
|00000cd0| 63 73 6e 61 6d 65 20 74 | 68 65 23 31 5c 65 6e 64 |csname t|he#1\end|
|00000ce0| 63 73 6e 61 6d 65 0a 20 | 20 20 20 20 20 7b 5c 65 |csname. |     {\e|
|00000cf0| 78 70 61 6e 64 61 66 74 | 65 72 20 5c 6e 6f 65 78 |xpandaft|er \noex|
|00000d00| 70 61 6e 64 20 5c 63 73 | 6e 61 6d 65 20 74 68 65 |pand \cs|name the|
|00000d10| 23 33 5c 65 6e 64 63 73 | 6e 61 6d 65 0a 20 20 20 |#3\endcs|name.   |
|00000d20| 20 20 20 20 5c 40 74 68 | 6d 63 6f 75 6e 74 65 72 |    \@th|mcounter|
|00000d30| 73 65 70 20 5c 40 74 68 | 6d 63 6f 75 6e 74 65 72 |sep \@th|mcounter|
|00000d40| 7b 23 31 7d 7d 25 0a 20 | 20 20 20 5c 64 65 66 5c |{#1}}%. |   \def\|
|00000d50| 40 74 65 6d 70 61 7b 5c | 67 6c 6f 62 61 6c 5c 40 |@tempa{\|global\@|
|00000d60| 6e 61 6d 65 64 65 66 7b | 23 31 7d 7d 25 0a 20 20 |namedef{|#1}}%.  |
|00000d70| 20 20 5c 65 78 70 61 6e | 64 61 66 74 65 72 20 5c |  \expan|dafter \|
|00000d80| 40 74 65 6d 70 61 20 5c | 65 78 70 61 6e 64 61 66 |@tempa \|expandaf|
|00000d90| 74 65 72 7b 25 0a 20 20 | 20 20 20 20 5c 63 73 6e |ter{%.  |    \csn|
|00000da0| 61 6d 65 20 74 68 40 5c | 74 68 65 20 5c 74 68 65 |ame th@\|the \the|
|00000db0| 6f 72 65 6d 40 73 74 79 | 6c 65 0a 20 20 20 20 20 |orem@sty|le.     |
|00000dc0| 20 20 20 20 20 20 20 5c | 65 78 70 61 6e 64 61 66 |       \|expandaf|
|00000dd0| 74 65 72 20 5c 65 6e 64 | 63 73 6e 61 6d 65 20 5c |ter \end|csname \|
|00000de0| 74 68 65 20 5c 74 68 65 | 6f 72 65 6d 40 62 6f 64 |the \the|orem@bod|
|00000df0| 79 66 6f 6e 74 0a 20 20 | 20 20 20 5c 40 74 68 6d |yfont.  |   \@thm|
|00000e00| 7b 23 31 7d 7b 23 32 7d | 7d 25 0a 20 20 20 20 5c |{#1}{#2}|}%.    \|
|00000e10| 67 6c 6f 62 61 6c 20 5c | 65 78 70 61 6e 64 61 66 |global \|expandaf|
|00000e20| 74 65 72 20 5c 6c 65 74 | 20 5c 63 73 6e 61 6d 65 |ter \let| \csname|
|00000e30| 20 65 6e 64 23 31 5c 65 | 6e 64 63 73 6e 61 6d 65 | end#1\e|ndcsname|
|00000e40| 20 5c 40 65 6e 64 74 68 | 65 6f 72 65 6d 0a 20 20 | \@endth|eorem.  |
|00000e50| 20 7d 7d 0a 5c 67 64 65 | 66 5c 40 79 6e 74 68 6d | }}.\gde|f\@ynthm|
|00000e60| 23 31 23 32 7b 5c 65 78 | 70 61 6e 64 61 66 74 65 |#1#2{\ex|pandafte|
|00000e70| 72 5c 40 69 66 64 65 66 | 69 6e 61 62 6c 65 5c 63 |r\@ifdef|inable\c|
|00000e80| 73 6e 61 6d 65 20 23 31 | 5c 65 6e 64 63 73 6e 61 |sname #1|\endcsna|
|00000e90| 6d 65 0a 20 20 20 7b 5c | 40 64 65 66 69 6e 65 63 |me.   {\|@definec|
|00000ea0| 6f 75 6e 74 65 72 7b 23 | 31 7d 25 0a 20 20 20 20 |ounter{#|1}%.    |
|00000eb0| 5c 65 78 70 61 6e 64 61 | 66 74 65 72 5c 78 64 65 |\expanda|fter\xde|
|00000ec0| 66 5c 63 73 6e 61 6d 65 | 20 74 68 65 23 31 5c 65 |f\csname| the#1\e|
|00000ed0| 6e 64 63 73 6e 61 6d 65 | 7b 5c 40 74 68 6d 63 6f |ndcsname|{\@thmco|
|00000ee0| 75 6e 74 65 72 7b 23 31 | 7d 7d 25 0a 20 20 20 20 |unter{#1|}}%.    |
|00000ef0| 5c 64 65 66 5c 40 74 65 | 6d 70 61 7b 5c 67 6c 6f |\def\@te|mpa{\glo|
|00000f00| 62 61 6c 5c 40 6e 61 6d | 65 64 65 66 7b 23 31 7d |bal\@nam|edef{#1}|
|00000f10| 7d 5c 65 78 70 61 6e 64 | 61 66 74 65 72 20 5c 40 |}\expand|after \@|
|00000f20| 74 65 6d 70 61 0a 20 20 | 20 20 20 5c 65 78 70 61 |tempa.  |   \expa|
|00000f30| 6e 64 61 66 74 65 72 7b | 5c 63 73 6e 61 6d 65 20 |ndafter{|\csname |
|00000f40| 74 68 40 5c 74 68 65 20 | 5c 74 68 65 6f 72 65 6d |th@\the |\theorem|
|00000f50| 40 73 74 79 6c 65 20 5c | 65 78 70 61 6e 64 61 66 |@style \|expandaf|
|00000f60| 74 65 72 0a 20 20 20 20 | 20 5c 65 6e 64 63 73 6e |ter.    | \endcsn|
|00000f70| 61 6d 65 20 5c 74 68 65 | 5c 74 68 65 6f 72 65 6d |ame \the|\theorem|
|00000f80| 40 62 6f 64 79 66 6f 6e | 74 20 5c 40 74 68 6d 7b |@bodyfon|t \@thm{|
|00000f90| 23 31 7d 7b 23 32 7d 7d | 25 0a 20 20 20 20 5c 67 |#1}{#2}}|%.    \g|
|00000fa0| 6c 6f 62 61 6c 20 5c 65 | 78 70 61 6e 64 61 66 74 |lobal \e|xpandaft|
|00000fb0| 65 72 20 5c 6c 65 74 20 | 5c 63 73 6e 61 6d 65 20 |er \let |\csname |
|00000fc0| 65 6e 64 23 31 5c 65 6e | 64 63 73 6e 61 6d 65 20 |end#1\en|dcsname |
|00000fd0| 5c 40 65 6e 64 74 68 65 | 6f 72 65 6d 7d 7d 0a 5c |\@endthe|orem}}.\|
|00000fe0| 67 64 65 66 5c 40 6f 74 | 68 6d 23 31 5b 23 32 5d |gdef\@ot|hm#1[#2]|
|00000ff0| 23 33 7b 5c 65 78 70 61 | 6e 64 61 66 74 65 72 5c |#3{\expa|ndafter\|
|00001000| 40 69 66 64 65 66 69 6e | 61 62 6c 65 5c 63 73 6e |@ifdefin|able\csn|
|00001010| 61 6d 65 20 23 31 5c 65 | 6e 64 63 73 6e 61 6d 65 |ame #1\e|ndcsname|
|00001020| 0a 20 20 7b 5c 65 78 70 | 61 6e 64 61 66 74 65 72 |.  {\exp|andafter|
|00001030| 20 5c 78 64 65 66 20 5c | 63 73 6e 61 6d 65 20 74 | \xdef \|csname t|
|00001040| 68 65 23 31 5c 65 6e 64 | 63 73 6e 61 6d 65 0a 20 |he#1\end|csname. |
|00001050| 20 20 20 20 7b 5c 65 78 | 70 61 6e 64 61 66 74 65 |    {\ex|pandafte|
|00001060| 72 20 5c 6e 6f 65 78 70 | 61 6e 64 20 5c 63 73 6e |r \noexp|and \csn|
|00001070| 61 6d 65 20 74 68 65 23 | 32 5c 65 6e 64 63 73 6e |ame the#|2\endcsn|
|00001080| 61 6d 65 7d 25 0a 20 20 | 20 20 5c 64 65 66 5c 40 |ame}%.  |  \def\@|
|00001090| 74 65 6d 70 61 7b 5c 67 | 6c 6f 62 61 6c 5c 40 6e |tempa{\g|lobal\@n|
|000010a0| 61 6d 65 64 65 66 7b 23 | 31 7d 7d 5c 65 78 70 61 |amedef{#|1}}\expa|
|000010b0| 6e 64 61 66 74 65 72 20 | 5c 40 74 65 6d 70 61 0a |ndafter |\@tempa.|
|000010c0| 20 20 20 20 20 5c 65 78 | 70 61 6e 64 61 66 74 65 |     \ex|pandafte|
|000010d0| 72 7b 5c 63 73 6e 61 6d | 65 20 74 68 40 5c 74 68 |r{\csnam|e th@\th|
|000010e0| 65 20 5c 74 68 65 6f 72 | 65 6d 40 73 74 79 6c 65 |e \theor|em@style|
|000010f0| 20 5c 65 78 70 61 6e 64 | 61 66 74 65 72 0a 20 20 | \expand|after.  |
|00001100| 20 20 20 5c 65 6e 64 63 | 73 6e 61 6d 65 20 5c 74 |   \endc|sname \t|
|00001110| 68 65 5c 74 68 65 6f 72 | 65 6d 40 62 6f 64 79 66 |he\theor|em@bodyf|
|00001120| 6f 6e 74 20 5c 40 74 68 | 6d 7b 23 32 7d 7b 23 33 |ont \@th|m{#2}{#3|
|00001130| 7d 7d 25 0a 20 20 20 20 | 5c 67 6c 6f 62 61 6c 20 |}}%.    |\global |
|00001140| 5c 65 78 70 61 6e 64 61 | 66 74 65 72 20 5c 6c 65 |\expanda|fter \le|
|00001150| 74 20 5c 63 73 6e 61 6d | 65 20 65 6e 64 23 31 5c |t \csnam|e end#1\|
|00001160| 65 6e 64 63 73 6e 61 6d | 65 20 5c 40 65 6e 64 74 |endcsnam|e \@endt|
|00001170| 68 65 6f 72 65 6d 7d 7d | 0a 5c 67 64 65 66 5c 40 |heorem}}|.\gdef\@|
|00001180| 74 68 6d 23 31 23 32 7b | 5c 72 65 66 73 74 65 70 |thm#1#2{|\refstep|
|00001190| 63 6f 75 6e 74 65 72 7b | 23 31 7d 25 0a 20 20 20 |counter{|#1}%.   |
|000011a0| 5c 74 72 69 76 6c 69 73 | 74 0a 20 20 20 5c 40 74 |\trivlis|t.   \@t|
|000011b0| 6f 70 73 65 70 20 5c 74 | 68 65 6f 72 65 6d 70 72 |opsep \t|heorempr|
|000011c0| 65 73 6b 69 70 61 6d 6f | 75 6e 74 20 20 20 20 20 |eskipamo|unt     |
|000011d0| 20 20 20 20 20 20 20 20 | 20 20 25 20 75 73 65 64 |        |  % used|
|000011e0| 20 62 79 20 66 69 72 73 | 74 20 5c 69 74 65 6d 0a | by firs|t \item.|
|000011f0| 20 20 20 5c 40 74 6f 70 | 73 65 70 61 64 64 20 5c |   \@top|sepadd \|
|00001200| 74 68 65 6f 72 65 6d 70 | 6f 73 74 73 6b 69 70 61 |theoremp|ostskipa|
|00001210| 6d 6f 75 6e 74 20 20 20 | 20 20 20 20 20 20 20 20 |mount   |        |
|00001220| 25 20 75 73 65 64 20 62 | 79 20 5c 40 65 6e 64 70 |% used b|y \@endp|
|00001230| 61 72 65 6e 76 0a 20 20 | 20 5c 40 69 66 6e 65 78 |arenv.  | \@ifnex|
|00001240| 74 63 68 61 72 20 5b 25 | 0a 20 20 20 7b 5c 40 79 |tchar [%|.   {\@y|
|00001250| 74 68 6d 7b 23 31 7d 7b | 23 32 7d 7d 25 0a 20 20 |thm{#1}{|#2}}%.  |
|00001260| 20 7b 5c 40 62 65 67 69 | 6e 74 68 65 6f 72 65 6d | {\@begi|ntheorem|
|00001270| 7b 23 32 7d 7b 5c 63 73 | 6e 61 6d 65 20 74 68 65 |{#2}{\cs|name the|
|00001280| 23 31 5c 65 6e 64 63 73 | 6e 61 6d 65 7d 5c 69 67 |#1\endcs|name}\ig|
|00001290| 6e 6f 72 65 73 70 61 63 | 65 73 7d 7d 0a 5c 67 6c |norespac|es}}.\gl|
|000012a0| 6f 62 61 6c 5c 6c 65 74 | 5c 40 78 74 68 6d 5c 72 |obal\let|\@xthm\r|
|000012b0| 65 6c 61 78 0a 5c 6e 65 | 77 73 6b 69 70 5c 74 68 |elax.\ne|wskip\th|
|000012c0| 65 6f 72 65 6d 70 72 65 | 73 6b 69 70 61 6d 6f 75 |eorempre|skipamou|
|000012d0| 6e 74 0a 5c 6e 65 77 73 | 6b 69 70 5c 74 68 65 6f |nt.\news|kip\theo|
|000012e0| 72 65 6d 70 6f 73 74 73 | 6b 69 70 61 6d 6f 75 6e |remposts|kipamoun|
|000012f0| 74 0a 5c 67 6c 6f 62 61 | 6c 5c 73 65 74 6c 65 6e |t.\globa|l\setlen|
|00001300| 67 74 68 5c 74 68 65 6f | 72 65 6d 70 72 65 73 6b |gth\theo|rempresk|
|00001310| 69 70 61 6d 6f 75 6e 74 | 7b 31 32 70 74 20 70 6c |ipamount|{12pt pl|
|00001320| 75 73 20 35 70 74 20 6d | 69 6e 75 73 20 33 70 74 |us 5pt m|inus 3pt|
|00001330| 7d 0a 5c 67 6c 6f 62 61 | 6c 5c 73 65 74 6c 65 6e |}.\globa|l\setlen|
|00001340| 67 74 68 5c 74 68 65 6f | 72 65 6d 70 6f 73 74 73 |gth\theo|remposts|
|00001350| 6b 69 70 61 6d 6f 75 6e | 74 7b 38 70 74 20 70 6c |kipamoun|t{8pt pl|
|00001360| 75 73 20 33 70 74 20 6d | 69 6e 75 73 20 31 2e 35 |us 3pt m|inus 1.5|
|00001370| 70 74 7d 0a 5c 67 6c 6f | 62 61 6c 5c 6c 65 74 5c |pt}.\glo|bal\let\|
|00001380| 40 65 6e 64 74 68 65 6f | 72 65 6d 3d 5c 65 6e 64 |@endtheo|rem=\end|
|00001390| 74 72 69 76 6c 69 73 74 | 0a 5c 40 6f 6e 6c 79 70 |trivlist|.\@onlyp|
|000013a0| 72 65 61 6d 62 6c 65 5c | 40 78 6e 74 68 6d 0a 5c |reamble\|@xnthm.\|
|000013b0| 40 6f 6e 6c 79 70 72 65 | 61 6d 62 6c 65 5c 40 79 |@onlypre|amble\@y|
|000013c0| 6e 74 68 6d 0a 5c 40 6f | 6e 6c 79 70 72 65 61 6d |nthm.\@o|nlypream|
|000013d0| 62 6c 65 5c 40 6f 74 68 | 6d 0a 5c 40 6f 6e 6c 79 |ble\@oth|m.\@only|
|000013e0| 70 72 65 61 6d 62 6c 65 | 5c 6e 65 77 74 68 65 6f |preamble|\newtheo|
|000013f0| 72 65 6d 0a 5c 40 6f 6e | 6c 79 70 72 65 61 6d 62 |rem.\@on|lypreamb|
|00001400| 6c 65 5c 74 68 65 6f 72 | 65 6d 73 74 79 6c 65 0a |le\theor|emstyle.|
|00001410| 5c 40 6f 6e 6c 79 70 72 | 65 61 6d 62 6c 65 5c 74 |\@onlypr|eamble\t|
|00001420| 68 65 6f 72 65 6d 62 6f | 64 79 66 6f 6e 74 0a 5c |heorembo|dyfont.\|
|00001430| 40 6f 6e 6c 79 70 72 65 | 61 6d 62 6c 65 5c 74 68 |@onlypre|amble\th|
|00001440| 65 6f 72 65 6d 68 65 61 | 64 65 72 66 6f 6e 74 0a |eoremhea|derfont.|
|00001450| 5c 74 68 65 6f 72 65 6d | 73 74 79 6c 65 7b 70 6c |\theorem|style{pl|
|00001460| 61 69 6e 7d 0a 0a 5c 65 | 6e 64 69 6e 70 75 74 0a |ain}..\e|ndinput.|
|00001470| 25 25 20 0a 25 25 20 45 | 6e 64 20 6f 66 20 66 69 |%% .%% E|nd of fi|
|00001480| 6c 65 20 60 74 68 65 6f | 72 65 6d 2e 73 74 79 27 |le `theo|rem.sty'|
|00001490| 2e 0a                   |                         |..      |        |
+--------+-------------------------+-------------------------+--------+--------+